cmake_minimum_required(VERSION 3.27)
project(herbrand_equivalence)

set(CMAKE_CXX_STANDARD 14)

add_executable(herbrand_equivalence
        example2.cc)
